Type theory - PDFSEARCH.IO - Document Search Engine

Type theory
Results: 3552

#	Item
201	LEO-II and Satallax on the Sledgehammer Test Bench Nik Sultanaa,∗, Jasmin Christian Blanchetteb , Lawrence C. Paulsona a Computer b Institut Laboratory, University of Cambridge, United Kingdom Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2015-01-25 16:18:54 Theoretical computer science Mathematical logic Logic in computer science Automated theorem proving Proof assistants Formal methods Type theory Isabelle First-order logic Logic for Computable Functions Unification HOL
202	Polymorphic types Polymorphism, Recursive Data Types, and Trees Consider the good old length function: Björn Lisper Add to Reading List Source URL: www.idt.mdh.se Language: English - Date: 2013-11-21 03:21:54 Software engineering Type theory Computing Computer programming Data types Recursion Polymorphism Recursive data type Eval Type inference Type system ECL programming language
203	IPMU 2016 session content SS05: Fuzzy Measures and Integrals Tu 21, 10:50 Tu 21, 11:10 Tu 21, 11:30 Add to Reading List Source URL: is.ieis.tue.nl Language: English - Date: 2016-06-14 05:34:33 Fuzzy logic Logic Mathematical logic Mathematics Fuzzy set Fuzzy measure theory Membership function Ronald R. Yager Rough set Didier Dubois Rudolf Kruse Type-2 fuzzy sets and systems
204	Runtime Checking of Datatype Signatures in MPI⋆ William D. Gropp Mathematics and Computer Science Division Argonne National Laboratory Argonne, Illinois 60439 Add to Reading List Source URL: wgropp.cs.illinois.edu Language: English - Date: 2016-08-16 11:52:11 Computer programming Computing Parallel computing Software engineering Application programming interfaces Message Passing Interface Type theory C++ C++ classes Type signature MPI Hash function
205	Design and Evaluation of Gradual Typing for Python Michael M. Vitousek Andrew M. Kent Jeremy G. Siek Jim Baker Rackspace Inc. Add to Reading List Source URL: homes.soic.indiana.edu Language: English - Date: 2015-04-23 14:36:51 Software engineering Computing Computer programming Data types Type theory Subroutines Functional programming Lambda calculus Type system Gradual typing Anonymous function Type safety
206	Improved Type Specialization for Dynamic Scripting Languages Madhukar N Kedlaya† † Jared Roesch† Add to Reading List Source URL: jroesch.github.io Language: English - Date: 2016-04-16 20:16:50 Software engineering Computer programming Computing Cross-platform software Procedural programming languages Type theory Functional languages Object-oriented programming languages Type inference Type system Inference SpiderMonkey
207	Scala Macros: Let Our Powers Combine! On How Rich Syntax and Static Types Work with Metaprogramming Eugene Burmako EPFL, Switzerland Add to Reading List Source URL: lampwww.epfl.ch Language: English - Date: 2014-03-18 17:06:31 Software engineering Computer programming Computing Functional languages Object-oriented programming languages Procedural programming languages Concurrent programming languages Type theory Macro Nemerle Nim Scala
208	A Format String Checker for Java Konstantin Weitz Siwakorn Srisakaokul University of Washington, USA Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2014-07-07 00:47:36 Computing Software engineering Computer programming Type theory Data types Cross-platform software Object-oriented programming languages C standard library Printf format string Comparison of programming languages Uncontrolled format string Type system
209	Instances for Free* Neil Mitchell www.cs.york.ac.uk/~ndm (* Postage and packaging charges may apply) Add to Reading List Source URL: community.haskell.org Language: English - Date: 2013-10-12 04:58:09 Data types Software engineering Computing Computer programming Functional programming Type class Type theory Haskell features Boolean data type
210	Noname manuscript No. (will be inserted by the editor) A Decision Procedure for (Co)datatypes in SMT Solvers Andrew Reynolds · Jasmin Christian Blanchette Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2016-03-02 06:43:58 Mathematical logic Logic Theoretical computer science Type theory Automated theorem proving Logic programming Data types Unification Recursive data type Substitution Corecursion First-order logic

UPDATE